A Framework for Higher-Order Inductive Machine Learning
نویسندگان
چکیده
This position paper presents a framework for inductive machine learning which includes higher-order concepts and is su ciently general to include most of the extant (symbolic) inductive learning frameworks and systems.
منابع مشابه
An Evolutionary Approach to Constraint-Regularized Learning
The success of machine learning methods for inducing models from data crucially depends on the proper incorporation of background knowledge about the model to be learned. The idea of constraint-regularized learning is to employ fuzzy set-based modeling techniques in order to express such knowledge in a flexible way, and to formalize it in terms of fuzzy constraints. Thus, background knowledge c...
متن کاملPresenting a Framework for Supporting Life-long Learning in Iranian public libraries and Its validation
Purpose: Since nowadays public libraries are considered lifelong learning centers, these centers must have the required standards and conditions to support lifelong learning in order that they could help society members to achieve their personal and professional learning more effectively. Accordingly, it is necessary to develop and provide a mechanism to support lifelong learning in public libr...
متن کاملInductive Hypothesis Validation and Bias Selection in Unsupervised Learning
This paper approaches the importance of bias selection in the context of validating Knowledge Bases (KB) obtained by inductive learning systems. We propose a framework for automatic validation of induced KBs based on the capability of shifting the bias in the inductive learning system. We claim that this framework is useful not only when the system has to validate its own results, but also when...
متن کاملAnalysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework
In this paper we present a comparison of several inductive programming (IP) systems. IP addresses the problem of learning (recursive) programs from incomplete specifications, such as input/output examples. First, we introduce conditional higher-order term rewriting as a common framework for inductive program synthesis. Then we characterise the ILP system GOLEM and the inductive functional syste...
متن کاملLearning SHIQ+log Rules for Ontology Evolution
The definition of new concepts or roles for which extensional knowledge become available can turn out to be necessary to make a DL ontology evolve. In this paper we reformulate this task as a machine learning problem and study a solution based on techniques borrowed from that form of logic-based machine learning known under the name of Inductive Logic Programming (ILP). More precisely, we propo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997